theorem 10.1.i

welcome to shbcf.ru